Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
741	The Complexity of Translation Membership for Macro Tree Transducers Kazuhiro Inaba Sebastian Maneth Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:03:01 Mathematics Logic Automata theory Symbol Structure
742	Microsoft Word - AGILE_2013_Khakpour_Rod.docx Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2013-05-06 15:38:16 Science Systems theory Abstraction Reversible cellular automaton Cellular automata Cellular automaton Agent-based model
743	¨ t Augsburg Universita Formal Verification of Information Flow Secure Systems with IFlow Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:12:56 Software engineering Design Diagrams Automata theory Models of computation Class diagram Stereotype Activity diagram Sequence diagram UML diagrams Unified Modeling Language Data modeling
744	Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp[removed]The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastia Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:02:18 Computer science Binary tree Computation tree Symbol Finite-state machine Non-deterministic Turing machine Automata theory Theoretical computer science Models of computation
745	ISSN[removed]Overload Journal of the ACCU C++ Special Interest Group Issue 24 Add to Reading List Source URL: accu.org Language: English - Date: 2010-10-21 16:24:02 Infographics Software engineering Information science Communication design Automata theory State diagram Finite-state machine Unified Modeling Language Event UML diagrams Models of computation Diagrams
746	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
747	Combinational Techniques for Sequential Equivalence Checking Hamid Savoj1 David Berthelot1 Alan Mishchenko2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-23 04:39:57 Digital electronics Formal methods Logic in computer science Automata theory Formal equivalence checking Combinational logic Sequential logic Automatic test pattern generation NC Theoretical computer science Electronic engineering Applied mathematics
748	Bursty and Hierarchical Structure in Streams Jon Kleinberg ∗ † Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2011-11-19 02:38:48 Mathematical optimization Operations research Optimal control Systems theory Systems science Applied mathematics Automata theory Dynamic programming Equations
749	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:06:58 Ω-automaton Symbol Automata theory Quantum information theory
750	6JSC/EURIG/3/ACOC response September 7, 2012 Page 1 of 1 To: Add to Reading List Source URL: www.rda-jsc.org Language: English - Date: 2012-09-14 16:07:03 Procedural programming languages Automata theory Pattern matching Regular expression ALGOL 68 Software engineering Computing Computer programming

UPDATE